Overloading is NP - complete
نویسندگان
چکیده
We show that overloading is NP-complete. This solves exercise 6.25 in the 1986 version of the Dragon book.
منابع مشابه
Haskell - style Overloading is NP - hardDennis
Extensions of the ML type system, based on constrained type schemes, have been proposed for languages with overloading. Type inference in these systems requires solving the following satissability problem. Given a set of type assumptions C over nite types and a type basis A, is there is a substitution S that satisses C in that A ` CS is derivable? Under arbitrary overloading, the problem is und...
متن کاملHaskell-style Overloading is NP-hard
Extensions of the ML type system based on con strained type schemes have been proposed for lan guages with overloading Type inference in these sys tems requires solving the following satis ability prob lem Given a set of type assumptions C over nite types and a type basis A is there is a substitution S that satis es C in that A CS is derivable Un der arbitrary overloading the problem is undecid...
متن کاملResveratrol increases nucleus pulposus matrix synthesis through activating the PI3K/Akt signaling pathway under mechanical compression in a disc organ culture
Disc nucleus pulposus (NP) matrix homeostasis is important for normal disc function. Mechanical overloading seriously decreases matrix synthesis and increases matrix degradation. The present study aims to investigate the effects of resveratrol on disc NP matrix homeostasis under a relatively high-magnitude mechanical compression and the potential mechanism underlying this process. Porcine discs...
متن کاملExploring the Capability of Immune Algorithms: A Characterization of Hypermutation Operators
In this paper, an important class of hypermutation operators are discussed and quantitatively compared with respect to their success rate and computational cost. We use a standard Immune Algorithm (IA), based on the clonal selection principle to investigate the searching capability of the designed hypermutation operators. We computed the parameter surface for each variation operator to predict ...
متن کاملOn QoS Multicasting Performance in Wide Area Networks
| Multicasting enables applications to scale to a large number of users without overloading the network and server resources. With the advent of multimedia applications , the focus of multicasting research has shifted from minimizing the overall cost of the multicast tree to nding one which supports the QoS requirements of the underlying multimedia application. Finding such a tree, however, is ...
متن کامل